<html lang="en-US">

<head>
    
<title>长达 12 年，Go 才引入泛型，是政治，还是技术问题？ - 花落雨忧</title>

<meta property="og:title" content="长达 12 年，Go 才引入泛型，是政治，还是技术问题？ - 花落雨忧">



    



    
    <meta property="description" content="大家好，我是煎鱼。
前两天 Go1.18 beta1 已经发布，距离正式发布 Go1.18 的生产可用还有 2 个月，也就是泛型即将正式面世。
最近正在收集泛型的一些资料，看到在 2015 年有人在 Hacker News 上的《Go 1.5 max procs default》吐槽 Go 不支持泛型是 “政治” 原因&amp;hellip;
看了还是有些意义的，与现在的矛盾点基本一致，为此分享给大家。 &amp;hellip;">
    <meta property="og:description" content="大家好，我是煎鱼。
前两天 Go1.18 beta1 已经发布，距离正式发布 Go1.18 的生产可用还有 2 个月，也就是泛型即将正式面世。
最近正在收集泛型的一些资料，看到在 2015 年有人在 Hacker News 上的《Go 1.5 max procs default》吐槽 Go 不支持泛型是 “政治” 原因&amp;hellip;
看了还是有些意义的，与现在的矛盾点基本一致，为此分享给大家。 &amp;hellip;">
    






<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width,initial-scale=1">

<link rel="shortcut icon" href="https://www.lican.asia/logo/logo.png" type="image/x-icon" />



<link rel="stylesheet" href="/css/style.min.css" />

<link rel="stylesheet" href="/css/reset.min.css" />




<script src="https://www.lican.asia/js/highlight.min.js"></script>

<script>
hljs.configure({ ignoreUnescapedHTML: true })
hljs.highlightAll();
</script>


<script src="https://www.lican.asia/js/jquery.min.js"></script>




<link href="https://www.lican.asia/css/hugo-code.min.css" rel="stylesheet" />



    <style>
        .post-content img {
            max-width: 400px;
        }
    </style>
</head>

<body id="period" class="home blog">
    <a class="skip-content" href="#main">Press "Enter" to skip to content</a>
    <div id="overflow-container" class="overflow-container">
        <header class="site-header" id="site-header" role="banner">
    <div class="max-width">
        <div id="title-container" class="title-container">
            <div id="site-title" class="site-title"><a href="/">花落雨忧</a></div>
            <p class="tagline">思所及 力所行 方为真.</p>
        </div>
        
        <div id="menu-primary-container" class="menu-primary-container">
            <div class="icon-container">
            </div>
            <div id="menu-primary" class="menu-container menu-primary" role="navigation">
                <nav class="menu">
                    <ul id="menu-primary-items" class="menu-primary-items">
                        
                        
                        <li id="menu-item-0"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/posts" aria-current="page" tabindex="0">首页</a></li>
                        
                        <li id="menu-item-1"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/tech/" aria-current="page" tabindex="1">技术文档</a></li>
                        
                        <li id="menu-item-2"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/article/" aria-current="page" tabindex="2">文章</a></li>
                        
                        <li id="menu-item-3"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/project/" aria-current="page" tabindex="3">项目</a></li>
                        
                        <li id="menu-item-4"
                            class="menu-item menu-item-type-custom menu-item-object-custom ">
                            <a href="/about/" aria-current="page" tabindex="4">关于</a></li>
                        
                    </ul>
                </nav>
            </div>
        </div>
    </div>
</header>

        <div id="primary-container" class="primary-container">
            <div class="max-width">
                <section id="main" class="main" role="main">
                    <div id="loop-container" class="loop-container">
                        <div
                            class="post type-post status-publish format-standard hentry entry">
                            <article>
                                <div class="post-container">
                                    <div class="post-header">
                                        <h2 class="post-title">
                                            <a href="/posts/posts/go/import-generics/">长达 12 年，Go 才引入泛型，是政治，还是技术问题？</a>
                                        </h2>
                                        
                                        <div class="post-byline">Published on
                                            <a class="date" href="javascript:;">2021/12/31</a>
                                            
                                            
                                            
                                            
                                            
                                        
                                    </div>
                                    <div class="post-content">
                                        <p>大家好，我是煎鱼。</p>
<p>前两天 Go1.18 beta1 已经发布，距离正式发布 Go1.18 的生产可用还有 2 个月，也就是泛型即将正式面世。</p>
<p>最近正在收集泛型的一些资料，看到在 2015 年有人在 Hacker News 上的《<a href="https://news.ycombinator.com/item?id=9622417" title="Go 1.5 max procs default">Go 1.5 max procs default</a>》吐槽 Go 不支持泛型是 “政治” 原因&hellip;</p>
<p>看了还是有些意义的，<strong>与现在的矛盾点基本一致</strong>，为此分享给大家。</p>
<h2 id="网友吐槽">网友吐槽</h2>
<p>网友 @aikah 认为 Go 团队不太可能在语言中加入泛型，这显然是一个政治问题而不是技术问题。错误处理也是如此。</p>
<p>和许多人一样，该网友<strong>认为 Go 在极简主义和功能之间没有取得正确的平衡</strong>。反对泛型的人赞成用编译时类型检查（总是安全的）换取运行时类型断言（可能失败）。</p>
<p>他们拒绝承认这一事实。这就是他们反对泛型的论点，并将最终损害语言的任何潜在增长。他们基本上是在违背自己的利益。</p>
<h2 id="官方回复">官方回复</h2>
<p>Russ Cox 做了正式的回复：很抱歉，但不是：<strong>泛型是一个技术问题</strong>，不是一个政治问题。</p>
<p>Go 团队并<strong>不反对泛型本身</strong>，只是反对做那些没有被很好理解或不能很好地与 Go 配合的事情。</p>
<p>这就是核心观点和矛盾点，也从 2009 年，延续到了现在。</p>
<h3 id="会遇到的问题">会遇到的问题</h3>
<p>Go 团队认为要将泛型的概念融入 Go，并与系统的其他部分很好地配合，必须解决一些深层次的技术问题，而我们并没有解决这些问题的办法。</p>
<p>关于这些问题，在几年前就在博客上写过一篇《<a href="https://research.swtch.com/generic" title="The Generic Dilemma">The Generic Dilemma</a>》：</p>
<p><img src="https://files.mdnice.com/user/3610/8ed3923a-d5fc-482f-bb6d-6fff7a19fcaa.png" alt=""></p>
<p>即使克服了那一页上的问题，也有其他问题，接下来你会遇到的问题是：”如何让程序员以一种有用的、易于解释的方式省略类型注释“。</p>
<p>也就是如何更人性、更易于的表达泛型的类型参数。</p>
<h4 id="泛型例子">泛型例子</h4>
<p>举个例子，C++ 允许你写 <code>make_pair(1, &quot;foo&quot;)</code>，而不是 <code>make_pair&lt;int, string&gt;(1, &quot;foo&quot;)</code>。</p>
<p>为了达到这种效果，推断注释背后的逻辑需要几页几页的规范，这并不是一个特别容易理解的编程模型，当事情出错时，编译器也不能轻易解释。</p>
<p>在这之后肯定还有更多的新问题在这里面。</p>
<h4 id="和专家沟通">和专家沟通</h4>
<p>Go 团队和一些真正的 Java 泛型专家谈过，他们每个人都说了大致相同的话：要非常小心，它不像看起来那么容易，而且你会被你犯的所有错误困住。</p>
<p>作为一个 Java 示范，可以浏览一下《<a href="http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html" title="Java Generics FAQs - Frequently Asked Questions">Java Generics FAQs - Frequently Asked Questions</a>》的大部分内容：</p>
<p><img src="https://files.mdnice.com/user/3610/6e188c16-f31c-4d6b-9d1b-216aa702d548.png" alt=""></p>
<p>看看过了多久你会开始思考 &ldquo;这真的是最好的方法吗？&quot;。</p>
<p>在泛型过程中会遇到许多问题，像是《<a href="http://www.angelikalanger.com/GenericsFAQ/FAQSections/TypeParameters.html#FAQ106%22" title="How do I decrypt Enum&lt;E extends Enum&lt;E&gt;&gt;">How do I decrypt Enum&lt;E extends Enum<!-- raw HTML omitted -->&gt;</a>》：</p>
<p><img src="https://files.mdnice.com/user/3610/2cbd8083-cee6-48f7-a0bd-d6faf8d27c40.png" alt=""></p>
<p>为此，Go 团队在泛型的推动上非常谨慎。</p>
<h2 id="承认缺点">承认缺点</h2>
<p>Go 团队说得很清楚，承认这个事实：<strong>没有泛型是有一定的缺点的</strong>。</p>
<p>你要么使用 <code>interface{}</code> 而放弃编译时检查，要么写代码生成器而使你的构建过程复杂化。</p>
<p>现有语言中实现的泛型也有明确的缺点，而且今天不妥协有一个非常大的好处：它使明天<strong>采用更好的解决方案变得更加容易</strong>。</p>
<h2 id="总结">总结</h2>
<p>今天给大家分享了过去在国外社区针对 Go 泛型的各种争议和探讨，其实泛型的核心观点很明确：”Go 团队不反对泛型本身“。</p>
<p>一直没能把泛型做起来，也是因为顾虑很多，做泛型要和 Go 多个部分，要解决很多深层次的问题，还要解决类型参数可读性等问题。所以一直拖到了现在。</p>
<p>回到即将 2022 年的现在，都预言对了。社区都在扯做泛型后的多个关联组件，以及泛型可读性和结构&hellip;</p>
<p>显然，<strong>泛型就是双刃剑？你怎么看</strong>。</p>


                                        
                                        
                                        
                                        <div class="rp4wp-related-posts">
                                            <h3>相关文章</h3>
                                            <ul>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/again-mutex/">Go 为什么不支持可重入锁？</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/switch-type/">Go 泛型玩出花，详解新提案 switch type！</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/class-extends/">Go 为什么不支持类和继承？</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/any/">Go 新关键字 any，interface 会成历史吗？</a>
                                                    </div>
                                                </li>
                                                
                                                <li>
                                                    <div class="rp4wp-related-post-content">
                                                        <a
                                                            href="https://www.lican.asia/posts/posts/go/rust-php/">Rust 内讧，PHP 主力淡出？Go：好好放假</a>
                                                    </div>
                                                </li>
                                                
                                            </ul>
                                        </div>
                                        
                                        
                                    </div>

                                    
                                    
                                    

                                    
                                    <div class="post-meta">
                                        
                                        
                                        <div class="post-tags">
                                            <ul>
                                            
                                            <li>
                                                <a href="/tags/go" title="View all posts tagged match">go</a>
                                            </li>
                                            
                                            </ul>
                                        </div>
                                        
                                        
                                        <nav class="further-reading">
                                            
                                            <div class="previous">
                                                <span>&lt;&lt; Prev</span>
                                                <a href="https://www.lican.asia/posts/posts/go/again-mutex/"
                                                    rel="prev">Go 为什么不支持可重入锁？</a> </div>
                                            
                                            
                                            <div class="next">
                                                <span>Next >></span>
                                                <a href="https://www.lican.asia/posts/posts/go/throw/">Go 有哪些无法恢复的致命场景？</a> 
                                            </div>
                                            
                                        </nav>
                                    </div>
                                    
                                    

                                    
                                    
                                    

                                </div>
                            </article>
                        </div>
                    </div>
                </section>
                <aside class="sidebar sidebar-primary" id="sidebar-primary" role="complementary">
    <h1 class="screen-reader-text">Sidebar</h1>
    

    
    
    <section id="text-2" class="widget widget_text">
        <div class="textwidget">
            
            <div id="profile">
                <div id="profile_picture"><img src="https://www.lican.asia/logo/logo.png"></div>
                <div id="profile_intro">
                    <p><span class="name">Lican</span></p>
                    <p class="intro">全栈开发者，爱好造轮子。</p>
                </div>
            </div>
            
            <p>
                <script type="text/javascript">
                    (function ($) {
                        $(document).ready(function () {
                            var menuPrimaryContainer = $('#menu-primary-container');
                            var profile = $('#text-2');
                            $('#toggle-navigation').click(function () {
                                if (menuPrimaryContainer.hasClass('open')) {
                                    profile.removeClass('open');
                                } else {
                                    profile.addClass('open');
                                }
                            });
                        });
                    })(jQuery);
                </script>
            </p>
        </div>
    </section>
    
    
    
    
    
    <section id="text-5" class="widget widget_text">
        <h2 class="widget-title">开源项目</h2>
        <div class="textwidget">
            <div id="projects" style="line-height: 22px;">
                
                <a href="https://github.com/idoubi/gonews"
                    target="_blank">gonews</a>: &nbsp;Daily news for golang<br>
                
                <a href="https://github.com/idoubi/sql2struct"
                    target="_blank">sql2struct</a>: &nbsp;Generate go struct according to SQL<br>
                
                <a href="https://github.com/idoubi/goz"
                    target="_blank">goz</a>: &nbsp;Request library used in golang<br>
                
        </div>
    </section>
    
    

    
    
    
    
    <section id="qrcode" class="widget widget_media_image">
        <h2 class="widget-title">微信公众号</h2>
        <img width="258" height="258"
            src="https://www.lican.asia/wechat/lican.png"
            class="image wp-image-5514  attachment-full size-full" alt=""
            style="max-width: 100%; height: auto;"
            sizes="(max-width: 258px) 100vw, 258px">
    </section>
    
    

    
    
    

    
    
    

    
    
    
    
</aside>
            </div>
        </div>

        <footer id="site-footer" class="site-footer" role="contentinfo">
    <div class="max-width">
    </div>
    <div class="footer">
        <div id="footercontent">
            © lican.asia All rights reserved<br/>
            Built with Hugo Theme <a href="https://github.com/idoubi/hugo-theme-period" target="_blank">Period</a>
        </div>
    </div>
</footer>

<script>
    var _hmt = _hmt || [];
    (function() {
      var hm = document.createElement("script");
      hm.src = "https://hm.baidu.com/hm.js?e8351b6d4626d5881d439ea1f6184baa";
      var s = document.getElementsByTagName("script")[0]; 
      s.parentNode.insertBefore(hm, s);
    })();
</script>
    
    
    </div>
    
</body>

</html>